Normal Form in Discrete Mathematics